Modeling and Delay Propagation Analysis for Flight Operation Based on Time Interval Petri Net

A Time Interval Petri net (TIPN) is proposed and used to model flight operation. Based on the TIPN model, the flight delay propagation analysis algorithm is provided, which reduces the complexity of flight delay propagation analysis algorithm. Time interval constraints are attached to places and transitions in TIPN model, which could model the flight turnaround time and flight flying period. Meanwhile, firing rules for transition and transition sequence are defined based on the simplified model which is derived depending on the reasoning ability of linear logic. And also, the real time flight delay propagation analysis algorithm is proposed. TIPN model for flight operation considering different initial delay levels in source airport is established and the delay propagation analysis demonstrated that, the model and algorithm could rapidly predict flight operation state and delay level in downstream airports effectively.